1
Эволюция «непрактической» математики
MATH002Lesson 5
00:00
В 1940 году Г. Х. Харди известно написал, что теория чисел — это «чистая» наука — настолько прекрасна, потому что она совершенно бесполезна для войны или торговли. Он не мог быть более ошибочным. Сегодня именно те целые числа, которые он романтизировал, образуют криптографическую броню цифровой эпохи. В этом уроке рассматривается, как мы перешли от простых рекурсивных головоломок к системе шифрования RSA.

Парадокс непрерывности против дискретности

В мире непрерывной логики (математический анализ) мы полагаемся на правила, такие как правило произведения:

$$\frac{d(fg)}{dx} = f\frac{dg}{dx} + g\frac{df}{dx}$$

Или рекурсивное интегрирование для функций, таких как:

$$\int \log^n |x| dx = x \log^n |x| - n \int \log^{n-1} |x| dx$$

Хотя эти непрерывные структуры изящны, они предсказуемы. Однако кибербезопасность требует односторонней сложности. Дискретная математика обеспечивает это через логику делителей и простых чисел, где функции легко вычисляются в одном направлении, но практически невозможно обратить без «ключа».

Основа: Математическая индукция

Прежде чем мы сможем защищать сеть, нам нужно освоить Математическую индукцию чтобы проверить алгоритмы, обрабатывающие наши данные. Рассмотрим числа Фибоначчи, $f_n$. Мы можем доказать тождества, такие как:

$$\sum_{k=1}^n (-1)^k f_k = (-1)^n f_{n-1} - 1$$

и проверить темпы роста с помощью соотношений Бине:

$$f_n = \frac{f_{n-1} + \sqrt{5f_{n-1}^2 + 4(-1)^{n+1}}}{2}$$

Эта дискретная логика, объединённая с Базовыми случаями, гарантирует, что алгоритмы, такие как Сортировка вставками (Алг. 4.2.3) или Алгоритм укладки тромино (Алг. 4.4.4), работают правильно при масштабировании до триллионов операций.

От паттернов к безопасности: Сдвиг в сторону RSA

Современная безопасность использует Случайные алгоритмы и метод разделяй и властвуй. Используя основную теорему арифметики — идею, что каждое целое число имеет уникальный «принципиальный отпечаток» простых чисел — мы создаем криптосистему RSA. В отличие от непрерывных кривых математического анализа, система RSA работает по «скалистой» логике простых множителей.

🎯 Основной принцип
Теория чисел предоставляет «ловушки». Хотя поиск по методу разделяй и властвуй (Алг. 4.2.1) разделяй и властвуй может быстро найти имя в списке, нахождение простых множителей 2048-битного целого числа без ключа заняло бы больше времени, чем возраст Вселенной.